Philippe De Groote And NotFrance
List of bibliographic references
Number of relevant bibliographic references: 22.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 007702 | Sylvain Salvati ; Philippe De Groote | On the complexity of higher-order matching in the linear λ-calculus |
| 007775 | Philippe De Groote ; Sylvain Pogodalla | m-Linear Context-Free Rewriting Systems as Abstract Categorial Grammars |
| 008273 | Philippe De Groote ; François Lamarche | Classical Non Associative Lambek Calculus |
| 008E53 | Philippe De Groote | Towards abstract categorial grammars |
| 009036 | Philippe De Groote ; Glyn Morrill ; Christian Retoré | Logical Aspects of Computational Linguistics |
| 009135 | Guillaume Bonfante ; Philippe De Groote | Stochastic Lambek Categorial Grammars |
| 009A40 | Philippe De Groote | Proof-search in implicative linear logic as a matching problem |
| 009B13 | Philippe De Groote ; Catherine Pilière | On the semantics of static exception handling |
| 009C56 | Philippe De Groote | Linear higher-order matching is NP-complete |
| 00A530 | Philippe De Groote | On the Strong Normalisation of Natural Deduction with Permutation-Conversions |
| 00A562 | Philippe De Groote | An algebraic correctness criterion for intuitionistic multiplicative proof-nets |
| 00A590 | Philippe De Groote | A dynamic programming approach to categorial deduction |
| 00A654 | Philippe De Groote | The Non-associative Lambek calculus with product in polynomial time |
| 00A672 | Philippe De Groote ; Catherine Pilière | On the semantics of static exception handling |
| 00AE04 | Philippe De Groote ; Catherine Pilière | Preuve de confluence de λ_{exn} |
| 00AF37 | Philippe De Groote ; Guy Perrier | A note on Kobayashi's and Yonezawa's ``Asynchronous Communication Model Based on Linear Logic'' |
| 00B122 | Philippe De Groote | An environment machine for the λ\mu-calculus |
| 00B772 | Philippe De Groote | On the expressive power of the Lambek calculus extended with a structural modality --- Abstract |
| 00B923 | Philippe De Groote ; Roger Hindley | Third International Conference on Typed Lambda Calculi and Applications - TLCA'97 |
| 00B926 | Denis Bechet ; Philippe De Groote | Constructing different phonological bracketings from a proof net |
| 00B952 | Philippe De Groote | An algebraic correctness criterion for intuitionistic proof-nets |
| 00BA23 | Denis Bechet ; Philippe De Groote ; Christian Retoré | A complete axiomatisation of the inclusion of series-parallel partial orders |
| This area was generated with Dilib version V0.6.33. |  |